# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: CC-BY-SA-4.0
#

@article{Kuz_LGH_07,
    title            = {{CAmkES}: A component model for secure microkernel-based embedded systems},
    journal          = {Journal of Systems and Software Special Edition on Component-Based Software Engineering of
                        Trustworthy Embedded Systems},
    author           = {Ihor Kuz and Yan Liu and Ian Gorton and Gernot Heiser},
    year             = {2007},
    number           = {5},
    month            = may,
    volume           = {80},
    pages            = {687--699},
}

@book{Nipkow_PW:Isabelle,
  author    = {Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
  title     = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
  publisher = {Springer Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = 2283,
  year      = 2002
}

@techreport{Kuz_FKM_12,
    author = {Ihor Kuz and Matthew Fernandez and Gerwin Klein and Toby Murray},
    title = {{CAmkES} Manual and Formalisation},
    institution = {NICTA},
    year = 2012,
    month = {October},
}
